Lịch sử Câu_lệnh_switch

Trong bài viết Introduction to Metamathematics năm 1952, Stephen Kleene đã chính thức chứng minh rằng hàm CASE (là hàm IF-THEN-ELSE ở dạng đơn giản nhất) là một hàm đệ quy nguyên tố (primitive recursive function), trong đó ông định nghĩa khái niệm definition by cases theo cách sau:

"#F. The function φ defined thusφ(x1 , ... , xn ) =
  • φ1(x1 , ... , xn ) if Q1(x1 , ... , xn ),
  • . . . . . . . . . . . .
  • φm(x1 , ... , xn ) if Qm(x1 , ... , xn ),
  • φm+1(x1 , ... , xn ) otherwise,

Liên quan

Câu lạc bộ Bóng đá Thể Công – Viettel Câu lạc bộ bóng đá Hà Nội (2016) Câu lạc bộ bóng đá Sông Lam Nghệ An Câu lạc bộ bóng đá LPBank Hoàng Anh Gia Lai Câu lạc bộ bóng đá Thành phố Hồ Chí Minh Câu lạc bộ bóng đá Đông Á Thanh Hóa Câu lạc bộ bóng đá Thép Xanh Nam Định Câu lạc bộ bóng đá Hải Phòng Câu lạc bộ bóng đá MerryLand Quy Nhơn Bình Định Câu lạc bộ bóng đá Becamex Bình Dương